<?php
function genera_jpg40($file_inp, $nome_file) {
	global $numalb;
	$inp_type = strtolower(substr($nome_file,-4));
	if ( $inp_type == '.jpg') {
		$imgInp = @imagecreatefromjpeg($file_inp); 
		if (!$imgInp) { 
			return "***errore lettura immagine jpeg '$nome_file'";
		}
	} elseif ($inp_type == '.gif') {
		$imgInp = @imagecreatefromgif($file_inp); 
		if (!$imgInp) { 
			return "***errore lettura immagine gif '$nome_file'";
		}
	} elseif ($inp_type == '.png') {
		$imgInp = @imagecreatefrompng($file_inp); 
		if (!$imgInp) { 
			return "***errore lettura immagine png '$nome_file'";
		}
	} else {
		return "***errore formato file '$nome_file' - ammesse in input solo immagini GIF, PNG o JPG";
	}
	$sx1 = imagesx($imgInp); 
	$sy1 = imagesy($imgInp);
	$sy2 = 40;
	$sx2 = $sx1 * 40 / $sy1;
	if (!$imgOut = @imagecreatetruecolor($sx2,$sy2)) {
		return "***errore creazione nuova immagine";
	}
	imagecopyresampled($imgOut,$imgInp,0,0,0,0,$sx2,$sy2,$sx1,$sy1);
	imagedestroy($imgInp);
	ob_start();
	imagejpeg($imgOut,null,100);
	$binImgOut = ob_get_contents();
	ob_end_clean();
	imagedestroy($imgOut);
	return $binImgOut;
}
